#include <def.h>

char cmdline[MAXLINE + 1];
char avline[MAXLINE + 1];
char *lineptr;
char *avptr;
char infile[MAXNAME + 1];
char outfile[MAXNAME + 1];
int cmd_count;
int backgnd;
int append;
int lastpid;
COMMAND cmd[PIPELINE];
